Automating Requirements-based Testing for Hardware Design 1
نویسنده
چکیده
This paper presents a methodology for automating the evaluation of partial designs using black-box testing techniques. The methodology generates black-box evaluation testsets using a novel semantic graph data model which maintains the relationships between design and requirements data. The testset is used to simulate the design module and the related requirements, thus generating a set of expected and a set of actual results suitable for analysis.
منابع مشابه
Linking Requirements and Design Data for Automated Functional Evaluation
This paper presents a methodology for automating the evaluation of complex hierarchical designs using black-box testing techniques. Based on an exploration model for design, this methodology generates evaluation tests using a novel semantic graph data model which captures the relationships between the related design and requirements data. Using these relationships, equivalent tests are generate...
متن کاملAn Application-Oriented Approach for the Generation of SOC-Based Embedded Systems
This paper outlines a strategy for automating the design of embedded systems including their hardware and software components. We focus in the Hardware Mediator construct, a portability artifact that was originally proposed to enable the port of component-based operating systems to very distinct architectures. Besides giving rise to a highly adaptable system-hardware interface, these mediators ...
متن کاملAutomating the design of computer systems
The best ebooks about Automating The Design Of Computer Systems that you can get for free here by download this Automating The Design Of Computer Systems and save to your desktop. This ebooks is under topic such as automating the design of graphical presentations of automating instructional design: approaches and limitations automating a design reuse facility with critical automating the design...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملUse of Artificial Intelligence in Software Development Life Cycle ... A state of the art review
Artificial Intelligence (AI) is the younger field in computer science ready to accept challenges. Software engineering (SE) is the dominating industrial field. So, automating SE is the most relevant challenge today. AI has the capacity to empower SE in that way. Here in this paper we present a state of the art literature review which reveals the past and present work done for automating Softwar...
متن کامل